Class Inconsistency, Status Inconsistency, and Political Partisanship in America

On Inconsistency Indices and Inconsistency Axioms in Pairwise Comparisons

Pairwise comparisons are an important tool of modern (multiple criteria) decision making. Since human judgments are often inconsistent, many studies focused on the ways how to express and measure this inconsistency, and several inconsistency indices were proposed as an alternative to Saaty’s inconsistency index and inconsistency ratio for reciprocal pairwise comparisons matrices. This paper aim...

On inconsistency of a pairwise comparison matrix

Making inconsistency respectable: a logical framework for inconsistency in reasoning

We claim there is a fundamental diierence between the way humans handle inconsistency and the way it is currently handled in formal logical systems: To a human, resolving inconsistencies is not necessarily done by \restoring" consistency but by supplying rules telling one how to act when the inconsistency arises. For artiicial intelligence there is an urgent need to revise the view that inconsi...

Disciplined Inconsistency

Distributed applications and web services, such as online stores or social networks, are expected to be scalable, available, responsive, and fault-tolerant. To meet these steep requirements in the face of high round-trip latencies, network partitions, server failures, and load spikes, applications use eventually consistent datastores that allow them to weaken the consistency of some data. Howev...

Pollack-inconsistency

For interactive theorem provers a very desirable property is consistency : it should not be possible to prove false theorems. However, this is not enough: it also should not be possible to think that a theorem that actually is false has been proved. More precisely: the user should be able to know what it is that the interactive theorem prover is proving. To make these issues concrete we introdu...